Workshop on Logic and Games
نویسندگان
چکیده
This paper is concerned with the expressive power of Parikh's Game Logic interpreted in Kripke structures. We show that the syntactical alternation hierarchy of this logic is strict, by expressing the winning condition for parity games with n priorities. Moreover, it follows that Game Logic is not captured by any nite level of the -calculus alternation hierarchy. We can further conclude that model checking for the -calculus is eÆciently solvable i this is possible for Game Logic.
منابع مشابه
Battle of the Logics
A concern of the organizers of the workshop on ‘Games, Action and Social Software’ is that although everyone is keen to use logic for the analysis of key concepts in this area, it is not so clear which logic or which tools from logic to use for investigating games, actions and social software. For this reason, they have organized a discussion session on the theme “Battle of the Logics: Temporal...
متن کاملBrainPlay’07: Playing with Your Brain Brain-Computer Interfaces and Games
In this workshop we investigate a possible role of brain-computer interaction in computer games and entertainment computing. The assumption is that brain activity, whether it is consciously controlled and directed by the user or just recorded in order to obtain information about the user’s affective state, should be modeled in order to provide appropriate feedback and a context where brain acti...
متن کاملWorkshop: Ethics in Videogames [Extended Abstracts]
SUMMARY This workshop will highlight the experiences of researchers and practitioners who are investigating and designing games in the growing field of ethics and games. In the first half of the workshop, we will lead a discussion of best practices for designing and studying games that enable the practice of ethical thinking and reasoning skills. We will also evaluate possible methodologies and...
متن کاملOpen Problems in Logic and Games
1 The setting, the purpose, and a warning Dov Gabbay is a prolific logician just by himself. But beyond that, he is quite good at making other people investigate the many further things he cares about. As a result, King’s College London has become a powerful attractor in our field worldwide. Thus, it is a great pleasure to be an organizer for one of its flagship events: the Augustus de Morgan W...
متن کاملUbiquitous Gaming Interaction Design Workshop
Digital games are ingrained in the 21st centenary culture and lifestyle. Driven by some of the most advanced digital technologies, the increasing affordability of high quality game content on multiple personal devices means that it is more feasible to generate engaging gaming interactions for powerful player cognitive and affective responses. Such ubiquitous Human Computer Interaction paradigm ...
متن کامل